vivado -mode tcl
